Issue4881c.agda:3,3-4
Duplicate declaration of _
